<html>
<body>
Reports expressions passed as arguments for <code>@Pattern</code> parameters and
returned from <code>@Pattern</code>-annotated methods that do not match the specified pattern.
<p><b>Example:</b></p>
<pre><code>
  @Pattern("\\d\\d-\\d\\d\\d") String getId() {
    <b>return</b> "1";
  }
</code></pre>
<p>
  Use the <b>Flag non compile-time constant expressions</b> option to let the inspection report expressions with
  an unknown value and offer to add a substitution (<code>@Subst</code>) annotation.
</p>
</body>
</html>
